Nuprl Definition : sem-sat
11,40
postcript
pdf
pr
|=
X
==
X
(
S
(
pr
))
latex
clarification:
sem-sat(
S
;
pr
;
X
) ==
X
(
S
(
pr
))
latex
FDL editor aliases
sem-sat
origin